Wyniki
-
Spotkanie z panem Wajdą
Etsuko Takano
Kwartalnik Filmowy , 17 /15-16(75-76) (1996) s. 278-279 -
A Modified Subformula Property for K5 and K5D
Mitio Takano
Bulletin of the Section of Logic , 30 /2 (2001) s. 115-122 -
Semantics for Słupecki's System of Syllogistic
Mitio Takano
Bulletin of the Section of Logic , 43 /1-2 (2014) s. 113-119 -
Axiomatization of a Basic Logic of Logical Bilattices
Mitio Takano
Bulletin of the Section of Logic , 45 /2 (2016) s. 79-92 -
New Modification of the Subformula Property for a Modal Logic
Mitio Takano
Bulletin of the Section of Logic , 49 /3 (2020) s. 255-268 -
A Modified Subformula Property for the Modal Logic S4.2
Mitio Takano
Bulletin of the Section of Logic , 48 /1 (2019) s. 19-28